acm sigbed
|
emsoft
|
participants
Navid Hashemi
EMSOFT 2024: 24th International Conference on Embedded Software
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
Navid Hashemi
,
Lars Lindemann
, and
Jyotirmoy V. Deshmukh
10.1109/TCAD.2024.3438072
https://arxiv.org/pdf/2407.11609